Inhalt des Dokuments

Bachelor

Formal Description and Analysis of Distributed Online Collaboration Platforms

Dienstag, 28. September 2010

Betreuer/in: Dr. Kirstin Peters
Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. Ehrig

Yonova, Tsvetelina

Teile der Plattform "Google Waves" soll mit erweiterten Automatenmodellen dargestellt und analysiert werden.

---